$\forall$$a$, $b$:$\mathbb{Q}$.
\\[0ex](($a$ = 0 $\in$ $\mathbb{Q}$) $\vee$ ($b$ = 0 $\in$ $\mathbb{Q}$) $\vee$ (0 $<$ $a$ \& 0 $<$ $b$) $\vee$ (0 $<$ {-}($a$) \& 0 $<$ {-}($b$))) $\Leftarrow\!\Rightarrow$ 0 $\leq$ $a$ $\ast$ $b$